es{-}stable(${\it es}$;$i$;${\it state}$.$P$(${\it state}$))
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$alle{-}at(${\it es}$;$i$;$e$.$P$(es{-}dstate{-}when(${\it es}$;$e$)) $\Rightarrow$ $P$(es{-}dstate{-}after(${\it es}$;$e$)))